Common Coding Mistakes at Every Level (And How to Fix Them)
github.com·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Do You Know Where Your Load-Bearing Code Is?
codemanship.wordpress.com·11h·
Discuss: Hacker News
🔬Code Analysis
Flag this post
Building the PVS-Studio megapolis
dev.to·1d·
Discuss: DEV
🔬Code Analysis
Flag this post
YASA (Yet Another Static Analyzer)
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
🎭Program Synthesis
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
✅Type Checking
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
📚Forth Compilers
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·21h
⚖️Inference Rules
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
⚙️TOML Parsers
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Claude Code Will Be As Good As You Are
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
getmichaelai.com·17h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
axelang.org·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
nocomplexity.substack.com·17h·
Discuss: Substack
📦Dependency Analysis
Flag this post
Letting coding agents access runtime output (my current approach)
foundinglean.substack.com·5h·
Discuss: Substack
📚Self-Documenting Code
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
"I don't test, should I?": A reprise. (Aka should LLM agents write my tests for me if my code works?)
reddit.com·17h·
Discuss: r/golang
🧪Parser Testing
Flag this post